#!/bin/bash

FLAGS="--reproducible"

if [ "$_NASM_SSE2AVX" != "0" ]; then
    FLAGS+=" -DFORCE_VEX_ENCODING=@sse2avx@"
fi

@NASM@ $@ $FLAGS
